Instance Verification Kit (IVK)
mutex lock @ [5906+30+/linux-3.19-rc1/drivers/misc/mei/wd.c]
Instance Signature: device_lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
mei_me_pci_suspend
[8121+18+/linux-3.19-rc1/drivers/misc/mei/pci-me.c]
mei_me_remove
[7485+13+/linux-3.19-rc1/drivers/misc/mei/pci-me.c]
mei_stop
[7424+8+/linux-3.19-rc1/drivers/misc/mei/init.c]
mei_txe_pci_suspend
[5398+19+/linux-3.19-rc1/drivers/misc/mei/pci-txe.c]
mei_txe_remove
[4765+14+/linux-3.19-rc1/drivers/misc/mei/pci-txe.c]
mei_wd_ops_stop
[5762+15+/linux-3.19-rc1/drivers/misc/mei/wd.c]
mei_wd_stop
[3811+11+/linux-3.19-rc1/drivers/misc/mei/wd.c]